Search Results
Joel David Hamkins: Forcing as a computational process
Joel David Hamkins: Set-theoretic forcing as a computational process
Set-theoretic forcing as a computational process - Joel David Hawkins (Notre Dame)
Joel David Hamkins: Are there natural instances of nonlinearity in consistency strength?
Mathematics and Philosophy of the Infinite – Joel David Hamkins
Joel David Hamkins — Set-theoretic and arithmetic potentialism: the state of current developments
Joel David Hamkins : The hierarchy of second-order set theories between GBC and KM and beyond
Joel David Hamkins: Philosophy of mathematics and truth
Arguing with the Yes-No box
Joel David Hamkins: Categorical Cardinals
【JAPS2022】Special Lecture: "The Ontology of Mathematics" (Joel David Hamkins)
Joel David Hamkins—Computable quotient presentations of models of arithmetic and set theory
